Distributed Reasoning for Multiagent Simple Temporal Problems

ثبت نشده
چکیده

Definition 4. We label lines 4-8 of the 4PPC algorithm as the reinstate procedure. This procedure reinstates a timepoint vk by, for every pair of previously-reinstated, neighboring timepoints vi and vj, tightening edge eki and edge ejk with respect to eij. Lemma 1. Let o and o′ be two distinct total orderings of the vertices, V for some graph G = 〈V,E〉. If o′ is consistent with the precedence relation ≺o , then G4 o = G4 o′ . Proof. Assume G4 o 6= G4 o′ . Since G4 o = 〈 V,E ∪ E4 o 〉 and G4 o′ = 〈 V,E ∪ E4 o′ 〉 , if G4 o 6= G4 o′ then E 4 o 6= E4 o′ . E4 o 6= E4 o′ implies that there exists at least one edge exy such that, either exy ∈ E 4 o and exy / ∈ E4 o′ , or exy / ∈ E 4 o and exy ∈ E4 o′ . WLOG, let exy ∈ E4 o be the first edge that is added to E4 o under elimination order o that is not added to E4 o′ under o ′. In order for edge exy to be added under elimination order o, there must be some vertex vz such that it is eliminated prior to vx and vy and shares an edge with both vx and vy (exz and eyz respectively) at the time of its elimination. By

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Distributed Reasoning for Multiagent Simple Temporal Problems

This research focuses on building foundational algorithms for scheduling agents that assist people in managing their activities in environments where tempo and complex activity interdependencies outstrip people’s cognitive capacity. We address the critical challenge of reasoning over individuals’ interacting schedules to efficiently answer queries about how to meet scheduling goals while respec...

متن کامل

DISTRIBUTED CONSTRAINT OPTIMIZATION FOR MULTIAGENT SYSTEMS by Pragnesh

To coordinate effectively, multiple agents must reason and communicate about the interactions between their individual local decisions. Distributed planning, distributed scheduling, distributed resource allocation and distributed task allocation are some examples of multiagent problems where such reasoning is required. In order to represent these types of automated reasoning problems, researche...

متن کامل

Multiagent Planning with Partially Ordered Temporal Plans

This paper discusses the specifics of planning in multiagent environments. It presents the formal framework MAPL (“maple”) for describing multiagent planning domains. MAPL allows to describe both qualitative and quantitative temporal relations among events, thus subsuming the temporal models of both PDDL 2.1 and POP. Other features are different levels of control over actions, modeling of agent...

متن کامل

Space Applications for Distributed Constraint Reasoning

A potential weakness of any research is its applicability to real problems, and it is often difficult to determine whether a particular application needs a particular technology. Space missions offer a wide variety of multiagent problem domains, but the technology needs of these missions vary. Techniques developed by research in Distributed Constraint Reasoning (DCR) employ representations that...

متن کامل

MAPL: a Framework for Multiagent Planning with Partially Ordered Temporal Plans

This paper discusses the specifics of planning in multiagent environments. It presents the formal framework MAPL (“maple”) for describing multiagent planning domains. MAPL allows to describe both qualitative and quantitative temporal relations among events, thus subsuming the temporal models of both PDDL 2.1 and POP. Other features are different levels of control over actions, modeling of agent...

متن کامل

Multiagent Simple Temporal Problem: The Arc-Consistency Approach

The Simple Temporal Problem (STP) is a fundamental temporal reasoning problem and has recently been extended to the Multiagent Simple Temporal Problem (MaSTP). In this paper we present a novel approach that is based on enforcing arc-consistency (AC) on the input (multiagent) simple temporal network. We show that the AC-based approach is sufficient for solving both the STP and MaSTP and provide ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013